TAGs: devils arithmetic